$M$.da($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($M$.2).1($a$)?Top